/* Testing: Global Variable Assignment */ 
integer a;
integer b;


function printA () -> integer {
  print(a);
}

function printB () -> integer {
  print(b);
}

function incAB () -> integer {
  a <- a + 1;
  b <- b + 1;
  return 0;
}

function main () -> integer {
	a <- 42;
	b <- 21;
	printA();
	printB();
	incAB();
	printA();
	printB();
}

main();
